Champ algébrique
Cet article ne cite aucune source et peut contenir des informations erronées (signalé en février 2024).
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
En mathématiques, un champ algébrique est une catégorie généralisant la notion de schéma ; elle permet notamment l'étude des actions de groupes lorsqu'elles ne sont pas libres.
Définition
[modifier | modifier le code]Un champ X est une catégorie fibrée (en) au-dessus d'un site étale satisfaisant les propriétés suivantes :
- la catégorie X est fibrée en groupoïdes au-dessus du site étale ;
- les isomorphismes sont un faisceau pour X ;
- toute donnée de descente est effective.
